Suggestions for a Non-monotonic Feature Logic
نویسنده
چکیده
We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information.
منابع مشابه
Logic and Feature Structures
Feature structures play an important role in linguistic knowledge representation in computational linguistics. Given the proliferation of different feature structure formalisms it is useful to have a "common language" to express them in. This paper shows how a variety of feature structures and constraints on them can be expressed in predicate logic (except for the use of circumscription for non...
متن کاملEvaluating Feature Relevance: Reducing Bias in Relief
One of the few algorithms that can evaluate features in very large feature sets is Relief [1, 2]. This paper documents a bias in Relief against non-monotonic features, including Gaussian features, and proposes a modification to Relief that removes the bias.
متن کاملA Non-Monotonic Reasoning System for RDF Metadata
Non-monotonic reasoning constitutes an approach to reasoning with incomplete or changing information and is significantly more powerful than standard reasoning, which simply deals with universal statements. Defeasible reasoning, a member of the non-monotonic reasoning family, offers the extra capability of dealing with conflicting information and can represent facts, rules and priorities among ...
متن کاملNonmonotonic Reasoning Based on Incomplete Logic
What characterizes human reasoning is the ability of deal ing with incomplete information Incomplete logic is developed for modeling incomplete knowledge The most distinctive feature of incomplete logic is its se mantics This is an alternative presentation of partial semantics In this paper we will introduce the general notion of incomplete logic ICL compare it with partial logic and give the r...
متن کاملSubset Logic Programs and Their Implementation
This paper discusses the design and implementation of a set-oriented logic programming paradigm, called subset-logic programming. Subset-logic programs are built up of three kinds of program clauses: subset, equational, and relational clauses. Using these clauses, we can program solutions to a broad range of problems of interest in logic programming and deductive databases. In previous research...
متن کامل